6

Weak axioms of determinacy and subsystems of analysis II (∑02 games)

Year:
1991
Language:
english
File:
PDF, 901 KB
english, 1991
9

Weak axioms of determinacy and subsystems of analysis I: δ games

Year:
1990
Language:
english
File:
PDF, 691 KB
english, 1990
12

Statistical-mechanical approach to image processing

Year:
2002
Language:
english
File:
PDF, 1.67 MB
english, 2002
14

On Formalization of Model-Theoretic Proofs of Gödel's Theorems

Year:
1994
Language:
english
File:
PDF, 89 KB
english, 1994
15

A case of eosinophilic polymyositis complicated by myasthenia gravis

Year:
1998
Language:
english
File:
PDF, 232 KB
english, 1998
19

Non-standard Analysis in WKL0

Year:
1997
Language:
english
File:
PDF, 259 KB
english, 1997
22

The Galvin-Prikry theorem and set existen axioms

Year:
1989
Language:
english
File:
PDF, 2.70 MB
english, 1989
23

Fixed point theory in weak second-order arithmetic

Year:
1990
Language:
english
File:
PDF, 1.48 MB
english, 1990
28

Analysis of positive Lyapunov exponents from random time series

Year:
1998
Language:
english
File:
PDF, 563 KB
english, 1998
31

Cluster variation method and image restoration problem

Year:
1995
Language:
english
File:
PDF, 547 KB
english, 1995
32

Cancer detection using infrared hyperspectral imaging

Year:
2011
Language:
english
File:
PDF, 576 KB
english, 2011
33

Load-flow equivalents for decentralized monitor and control of power systems

Year:
1994
Language:
english
File:
PDF, 855 KB
english, 1994
34

Multifault calculation method for dynamic stability study of electric power systems

Year:
1994
Language:
english
File:
PDF, 869 KB
english, 1994
35

Thermophysical properties of SrUO4

Year:
2011
Language:
english
File:
PDF, 326 KB
english, 2011
37

Neuronal circuitries involved in thermoregulation

Year:
2000
Language:
english
File:
PDF, 156 KB
english, 2000
38

Quantitative method for evaluating generation margin for power system planning

Year:
2012
Language:
english
File:
PDF, 305 KB
english, 2012